programme correctness proof - Español Inglés Diccionario